-
1 edge-valued binary decision diagram
реберно-значная бинарная решающая диаграмма, РЗБРДEnglish-Russian dictionary of computer science and programming > edge-valued binary decision diagram
-
2 diagram
диаграмма; схема; график, графическое представление || вычерчивать диаграмму; составлять схему; изображать схематически- algorithmic diagrama diagram worths many words — одна схема заменяет тысячу слов; лучше один раз увидеть, чем сто раз услышать
- ANSI block diagram
- baseline diagram
- binary decision diagram
- block diagram
- butterfly diagram
- calculating diagram
- child diagram
- circuit diagram
- column diagram
- conceptual diagram
- connection diagram
- control diagram
- cording diagram
- data flow diagram
- data organization diagram
- data structure diagram
- decision diagram
- distribution diagram
- edge-valued binary decision diagram
- elementary diagram
- engineering logic diagram
- entity-relationship diagram
- entity-relation diagram
- expert-aided diagram
- eye diagram
- flow diagram
- flow-process diagram
- forward butterfly diagram - functional diagram
- Gantt diagram
- Hamilton-Zeldin diagram
- hierarchical structure diagram
- HIPO diagram
- input-process-output diagram
- instrument diagram
- internal diagram
- key diagram
- ladder diagram
- Layton diagram
- line diagram
- linear decision diagram
- logical diagram
- logic diagram
- logical sequence diagram
- mnemonic diagram
- multiple-sheet diagram
- Nassi-Shneiderman diagram
- network diagram
- pictorial diagram
- program flow diagram
- run diagram
- SADT diagram
- scanning diagram
- schematic diagram
- setup diagram
- skeleton diagram
- stability diagram
- state diagram
- state transition diagram
- stick diagram
- syntactic diagram
- syntax diagram
- timing diagram
- transition diagram
- tree diagram
- truth diagram
- Veitch diagram
- Venn diagram
- Warnier diagram
- waveform diagram
- wiring diagram
- word-level decision diagramEnglish-Russian dictionary of computer science and programming > diagram
-
3 EVBDD
сокр. от edge-valued binary decision diagramEnglish-Russian dictionary of computer science and programming > EVBDD
См. также в других словарях:
Binary Decision Diagram — Ein Binäres Entscheidungsdiagramm (BED; engl. binary decision diagram, BDD) ist eine Datenstruktur zur Repräsentation Boolescher Funktionen. Binäre Entscheidungsdiagramme werden vor allem im Bereich der Hardwaresynthese und verifikation… … Deutsch Wikipedia
Binary decision diagram — In the field of computer science, a binary decision diagram (BDD) or branching program, like a negation normal form (NNF) or a propositional directed acyclic graph (PDAG), is a data structure that is used to represent a Boolean function. On a… … Wikipedia
Binäres Entscheidungsdiagramm — Ein Binäres Entscheidungsdiagramm (BED; engl. binary decision diagram, BDD) ist eine Datenstruktur zur Repräsentation Boolescher Funktionen. Binäre Entscheidungsdiagramme werden vor allem im Bereich der Hardwaresynthese und verifikation… … Deutsch Wikipedia
OBDD — Ein Binäres Entscheidungsdiagramm (BED; engl. binary decision diagram, BDD) ist eine Datenstruktur zur Repräsentation Boolescher Funktionen. Binäre Entscheidungsdiagramme werden vor allem im Bereich der Hardwaresynthese und verifikation… … Deutsch Wikipedia
ROBDD — Ein Binäres Entscheidungsdiagramm (BED; engl. binary decision diagram, BDD) ist eine Datenstruktur zur Repräsentation Boolescher Funktionen. Binäre Entscheidungsdiagramme werden vor allem im Bereich der Hardwaresynthese und verifikation… … Deutsch Wikipedia
2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… … Wikipedia
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Linear programming — (LP, or linear optimization) is a mathematical method for determining a way to achieve the best outcome (such as maximum profit or lowest cost) in a given mathematical model for some list of requirements represented as linear relationships.… … Wikipedia